Heuristic search of (semi-)bent functions based on cellular automata

An interesting thread in the research of Boolean functions for cryptography and coding theory is the study of secondary constructions: given a known function with a good cryptographic profile, the aim is to extend it to a (usually larger) function possessing analogous properties. In this work, we continue the investigation of a secondary construction based on cellular automata (CA), focusing on the classes of bent and semi-bent functions. We prove that our construction preserves the algebraic degree of the local rule, and we narrow our attention to the subclass of quadratic functions, performing several experiments based on exhaustive combinatorial search and heuristic optimization through Evolutionary Strategies (ES). Finally, we classify the obtained results up to permutation equivalence, remarking that the number of equivalence classes that our CA-XOR construction can successfully extend grows very quickly with respect to the CA diameter

Evaluating space measures in P systems

P systems with active membranes are a variant of P systems where membranes can be created by division of existing membranes, thus creating an exponential amount of resources in a polynomial number of steps. Time and space complexity classes for active membrane systems have been introduced, to characterize classes of problems that can be solved by different membrane systems making use of different resources. In particular, space complexity classes introduced initially considered a hypothetical real implementation by means of biochemical materials, assuming that every single object or membrane requires some constant physical space (corresponding to unary notation). A different approach considered implementation of P systems in silico, allowing to store the multiplicity of each object in each membrane using binary numbers. In both cases, the elements contributing to the definition of the space required by a system (namely, the total number of membranes, the total number of objects, the types of different membranes, and the types of different objects) was considered as a whole. In this paper, we consider a different definition for space complexity classes in the framework of P systems, where each of the previous elements is considered independently. We review the principal results related to the solution of different computationally hard problems presented in the literature, highlighting the requirement of every single resource in each solution. A discussion concerning possible alternative solutions requiring different resources is presented

First Steps Towards a CPU Made of Spiking Neural P Systems

We consider spiking neural P systems as devices which can be used to perform some basic arithmetic operations, namely addition, subtraction, comparison and multiplica- tion by a fixed factor. The input to these systems are natural numbers expressed in binary form, encoded as appropriate sequences of spikes. A single system accepts as inputs num- bers of any size. The present work may be considered as a first step towards the design of a CPU based on the working of spiking neural P systems

Metastatic lung cancer presenting as thoracic empyema: A Case report

Increased cancer risk in patients with inflammatory and infectious diseases has been reported in many studies and lung cancer\u2010associated empyema in <0.3% patients. We present a patient with empyema in whom the final diagnosis was metastatic lung adenocarcinoma. Purulent pleural fluid obtained by drainage or thoracentesis must always been examined because the association of malignant tumors and empyema should be taken into consideration

A single nine-amino acid peptide induces virus-specific, CD8+ human cytotoxic T lymphocyte clones of heterogeneous serotype specificities

It is generally accepted that virus-specific CD8+ cytotoxic T lymphocytes (CTLs) recognize nine-amino acid peptides in conjunction with HLA class I molecules. We recently reported that dengue virus-specific CD8+ CTLs of two different serotype specificities, which were established by stimulation with dengue virus, recognize a single nine-amino acid peptide of the nonstructural protein NS3 of dengue virus type 4 (D4V) in an HLA-B35-restricted fashion. To further analyze the relationships between the serotype specificities of T cells and the amino acid sequence of the recognized peptides, we examined the ability of this viral peptide D4.NS3.500-508 (TPEGIIPTL) to stimulate T lymphocytes of an HLA-B35-positive, dengue virus type 4-immune donor. Peptide stimulation of the PBMC generated dengue virus-specific, HLA-B-35-restricted CD8+ CTL clones. These clones lysed dengue virus-infected autologous cells, as well as autologous target cells pulsed with this peptide. Four patterns of dengue virus serotype specificities were demonstrated on target cells infected with dengue-vaccinia recombinant viruses or pulsed with synthetic peptides corresponding to amino acid sequences of four dengue virus serotypes. Two serotype-specific clones recognized only D4V. Three dengue virus subcomplex-specific clones recognized D1V, D3V, and D4V, and one subcomplex-specific clone recognized D2V and D4V. Three dengue virus serotype-cross-reactive clones recognized D1V-D4V. Thus, a single nine-amino acid peptide induces proliferation of a heterogeneous panel of dengue virus-specific CD8+ CTL clones that are all restricted by HLA-B35 but have a variety of serotype specificities. Peptides that contain a single amino acid substitution at each position of D4.NS3.500-508 were recognized differently by the T cell clones. These results indicate that a single epitope can be recognized by multiple CD8+ CTLs that have a variety of serotype specificities, but the manner of recognition by these multiple CTLs is heterogeneous

Field-induced anti-nematic ordering in assemblies of anisotropically polarizable particles

We have investigated the effects of dipolar interactions in a lattice system of anisotropically polarizable particles in the presence of an external field both by Monte Carlo computer simulations and through a mean-field analysis. In a specific range of low temperature, large external field and large particle density, a novel staggered nematic structure is found, in which two intercalated sublattices have different nematic order parameters. First- and second-order phase transition lines, connected at a tricritical point, enclose the anti-nematic phase in the temperature-density plane

Fredkin Gates for Finite-valued Reversible and Conservative Logics

The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.Comment: 57 pages, 10 figures, 16 tables, 2 diagram

T cell receptor Vbeta gene usage in Thai children with dengue virus infection

T lymphocyte activation during dengue is thought to contribute to the pathogenesis of dengue hemorrhagic fever (DHF). We examined the T cell receptor Vbeta gene usage by a reverse transcriptase-polymerase chain reaction assay during infection and after recovery in 13 children with DHF and 13 children with dengue fever (DF). There was no deletion of specific Vbeta gene families. We detected significant expansions in usage of single Vbeta families in six subjects with DHF and three subjects with DF over the course of infection, but these did not show an association with clinical diagnosis, viral serotype, or HLA alleles. Differences in Vbeta gene usage between subjects with DHF and subjects with DF were of borderline significance. These data suggest that the differences in T cell activation in DHF and DF are quantitative rather than qualitative and that T cells are activated by conventional antigen(s) and not a viral superantigen